<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Html raport</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<style type="text/css">
table.sofT
{ 
text-align: center;
font-family: Verdana;
font-weight: normal;
font-size: 15px;
color: #404040;
background-color: #fafafa;
border: 2px #6699CC solid;
border-collapse: collapse;
border-spacing: 0px; 
}

table.sofT td.helpHed
{ 
border-bottom: 2px solid #6699CC;
border-left: 2px solid #6699CC;
border-right: 2px solid #6699CC;
background-color: #BEC8D1;
text-align: left;
text-indent: 0px;
font-family: Verdana;
font-weight: bold;
font-size: 15px;
color: #404040; 
}

table.sofT td
{
border-bottom: 1px solid #6699CC;
}

table.sofT td.sup 
{ 
background-color: #FCC; 
}

</style>
</head>
<body>

<div id="header">
<h1>Raport</h1>
</div>

<div id="center" class="round">

<table class="sofT" cellspacing="0"><tr><td colspan="10" class="helpHed">Test results for: Mon Jun 04 21:23:01 CEST 2007</td></tr>
<tr><td class="helpHed">Test name</td><td class="helpHed">Term Number</td><td class="helpHed">Value</td><td class="helpHed">Proved Value</td><td class="helpHed">Time Used [msec]</td><td class="helpHed">Memory Used [B]</td><td class="helpHed">Graph Size</td><td class="helpHed">Graph Avg. Depth</td><td class="helpHed">Graph Max. Depth</td></tr>
<tr><td >00a_n</td><td >0</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >00a_n</td><td >1</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >00a_n</td><td >2</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >00a_n</td><td >3</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >00a_n</td><td >4</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >00a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >0</td><td >73408</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >00a_p</td><td >1</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >00a_p</td><td >2</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >00a_p</td><td >3</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >01a_n</td><td >0</td><td >coherent</td><td >coherent</td><td >54</td><td >516664</td><td >554</td><td >17</td><td >33</td></tr>
<tr><td >01a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >1</td><td >91760</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >02a_n</td><td >0</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >02a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >1</td><td >110112</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >03a_n</td><td >0</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >03a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >1</td><td >147040</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >04a_n</td><td >0</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >04a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >2</td><td >165312</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >05a_n</td><td >0</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >05a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >1</td><td >220736</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >_simple_n</td><td >0</td><td >coherent</td><td >coherent</td><td >23</td><td >218416</td><td >259</td><td >20</td><td >29</td></tr>
<tr><td >_simple_p</td><td >0</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
</table>

</div>

</body>

</html>
